# typed: true

fun(1)
